Splitting of differential Quaternion algebras

Splitting quaternion algebras over quadratic number fields

We propose an algorithm for finding zero divisors in quaternion algebras over quadratic number fields, or equivalently, solving homogeneous quadratic equations in three variables over Q( √ d) where d is a square-free integer. The algorithm is deterministic and runs in polynomial time if one is allowed to call oracles for factoring integers and polynomials over finite fields.

Quaternion Algebras

The additive identity is (0, 0), the multiplicative identity is (1, 0), and from addition and scalar multiplication of real vectors we have (a, b) = (a, 0) + (0, b) = a(1, 0) + b(0, 1), which looks like a+ bi if we define i to be (0, 1). Real numbers occur as the pairs (a, 0). Hamilton asked himself if it was possible to multiply triples (a, b, c) in a nice way that extends multiplication of co...

Levels of Quaternion Algebras

The level of a ring R with 1 6= 0 is the smallest positive integer s such that −1 can be written as a sum of s squares in R, provided −1 is a sum of squares at all. D.W. Lewis showed that any value of type 2n or 2n + 1 can be realized as level of a quaternion algebra, and he asked whether there exist quaternion algebras whose levels are not of that form. Using function fields of quadratic forms...

Selectivity in Quaternion Algebras

Let A be a quaternion algebra over a number field K and assume that A satisfies the Eichler condition; that is, there exists an archimedean prime of K which does not ramify in A. Let Ω be a commutative, quadratic OK-order and let R ⊂ A be an order. We determine the isomorphism classes in the genus of R which admit an embedding of Ω. In particular, we show that the proportion of the genus of R a...

A Description of Quaternion Algebras